Writing and Compiling Dsp Algorithms in an Asynchronous Applicative Language
نویسندگان
چکیده
The functional programming language ALDiSP which is specially tailored to the needs of DSP system speci ca tion is brie y presented ALDiSP is based on asynchronous concepts that make it easy to specify interrupt driven con trol ow It is shown how ALDiSP speci cations can be translated into e cient code using techniques of abstract interpretation and partial evaluation By applying abstract interpretation to the set of possible states that a program can encounter a static schedule can be found if one ex ists Practical problems of this approach are discussed and solutions outlined
منابع مشابه
Formally Correct Translation of Dsp Algorithms Specified in an Asynchronous Applicative Language
The functional pro rammin language ALDiSP, which is special1 tailored to the nee& of DSfprogramming, is presented. ALDiS6 m c o y t e s data streams and an asynchronous control concept base on on1 one construct, the suspension. A comparison with traditional DZP languages like SILAGE is made. It is shown how ALDiSP pro rams can be translated into efficient code using the techniques of abstract i...
متن کاملThe Impact of the Asynchronous Online Discussion Forum on the Iranian EFL Students’ Writing Ability and Attitudes
This paper focuses on the impact of an asynchronous online discussion forum on the development of students’ ability in and attitudes toward writing in English. To do this, 60 undergraduate students majoring in English were assigned to two experimental and control groups while receiving different types of feedback. Students in the experimental group were required to take part in an asynchronous ...
متن کاملImpact of Dynamic Assessment on the Writing Performance of English as Foreign Language Learners in Asynchronous Web 2.0 and Face-to-face Environments
This study sought to investigate dynamic assessment (DA) - an assessment approach that embeds inter- vention within the assessment process and that yields information about the learner’s responsiveness to this intervention - and the writing performance of the second language (L2) learners in Web 2.0 contexts. To this end, pre and post-treatment writings of 45 par...
متن کاملThe Impact of Mediational Artifact Types on EFL Learners’ Writing Complexity: Collaboration vs. Asynchronous Artifacts
The present study was an attempt to investigate the significance of environmental changes on the develo p- ment of writing in English as a Foreign Language (EFL) context with respect to the individual. This study also compared the impacts of collaboration and asynchronous computer mediation (ACM) on the writing complexity of EFL learners. To this end, three intact writing classes were designate...
متن کاملThe Effect of Asynchronous versus Computer-mediated Corrective Feedback on the Correct Use of English Articles in an EFL Context
The purpose of this study is to investigate the effects of asynchronous computer-mediated versus conventional corrective feedback on learners' writing accuracy. Three groups of learners took part in the study: asynchronous feedback group, conventional feedback group, and a control group. Asynchronous feedback group students received explicit feedback on the targeted structure via e-mail, while...
متن کامل